halting problem 예문

예문

1. Undecidability involves the halting problem for Turing machines and in 1991, when Robinson was aged 80, he published Minsky's small universal Turing machine which describes a universal Turing machine with 4 symbols and 7 states.
   Turing 기계와 1991 년 대한 Undecidability 때, 로빈슨은 80 세였다 중단 문제를 포함, 그 기호는 4와 7 주에서 가진 보편적인 Turing 기계를 설명 Minsky의 소형 범용 Turing 기계를 발표했다.